Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
651	A LOGICAL CALCULUS OF MEANING AND SYNONYMY YIANNIS N. MOSCHOVAKIS In his development of formal semantics for natural language Montague [1970a]– Montague [1973],1 Richard Montague modeled the meaning (Frege’s sense) Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2004-12-13 19:38:56 Computability theory Functions and mappings Predicate logic Logical syntax Lambda calculus Function Interpretation Free variables and bound variables Variable Mathematics Logic Elementary mathematics
652	Game Theory with Costly Computation Joseph Y. Halpern Cornell University [removed] Rafael Pass Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-09-03 20:58:25 Economics Nash equilibrium Bayesian game Strategy Solution concept Zero–sum game Computability Correlated equilibrium Complexity Game theory Problem solving Science
653	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
654	Higher-Order Pattern Complement and the Strict λ-Calculus ALBERTO MOMIGLIANO University of Leicester and FRANK PFENNING Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-12 07:48:30 Deduction Predicate logic Computability theory Lambda calculus Theoretical computer science Free variables and bound variables Entailment Unification Admissible rule Logic Mathematical logic Mathematics
655	On Hardness Amplification of One-Way Functions Henry Lin? , Luca Trevisan?? , and Hoeteck Wee? ? ? Computer Science Division UC Berkeley Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Pseudorandomness Computability theory Computational complexity theory Combinatorics Cryptography One-way function Pseudorandom generator Oracle machine Permutation Mathematics Theoretical computer science Applied mathematics
656	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
657	The Denjoy alternative for computable functions Laurent Bienvenu1 , Rupert Hölzl∗2 , Joseph S. Miller†3 , and André Nies4 1,2 LIAFA, CNRS & Université de Paris 7, Case 7014, 75205 Paris Cedex 13, France laurent.bi Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-02-24 06:03:31 Theoretical computer science Randomness Computer science Algorithmically random sequence Computable number Computable function Per Martin-Löf Random sequence Continuous function Mathematics Theory of computation Computability theory
658	SCOOPING THE LOOP SNOOPER A proof that the Halting Problem is undecidable Geoffrey K. Pullum School of Philosophy, Psychology and Language Sciences, University of Edinburgh No general procedure for bug checks succeeds. Add to Reading List Source URL: oldblog.computationalcomplexity.org Language: English - Date: 2009-05-18 12:12:50 Computability theory Computing Theory of computation Halting problem Infinite loop Software bugs Computer programming Mathematics
659	Constructive Specifications for Compositional Units Kung-Kiu Lau1 , Alberto Momigliano2 , and Mario Ornaghi2 1 School of Computer Science, The University of Manchester, Manchester M13 9PL, United Kingdom Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-12 12:03:48 Computability theory Programming language theory Function Lambda calculus ALGOL 68 Independence Mathematics Computing Functions and mappings
660	Finding Pessiland Hoeteck Wee ? Computer Science Division University of California, Berkeley [removed] Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Complexity classes Structural complexity theory Computability theory Mathematical optimization Oracle machine IP Interactive proof system NP Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics

UPDATE